" Jan Vytopil" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings: ... 1992 2nd

Автор: Jan Vytopil

Размер книги: 5.07 Mb

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd

Автор: Hans Langmaack, Автор: Willem-Paul de Roever, Автор: Jan Vytopil

Размер книги: 6.86 Mb